Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
higher-order macro HOL Lambda Prolog OBJ first-order Quest first-order logic LNF BABEL CHOCS traversal TrafoLa functional F-Logic Fresh Forsythe higher-order function FL ASL+ Object Role Modeling Cube Isabelle LUCID overclocking Obliq bottom-up implementation map L0 Bird-Meertens Formalism EMM386 Oz HiLog Extensible Shell Language for Communicating Systems Ratatosk least fixed point filter predicate logic FP UFO network byte order order-embedding ASCIIbetical order Church integer reverse engineering fix Concurrent ML abstraction Skel-ML Similix Lolli 6.001 magneto-optical disk XSB data flow analysis Hollerithabetical order Baudotbetical order fully lazy lambda lifting LOP Clean more...